Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
SANTOS, L. B. R.; ERAS, E. R.; SANTIAGO JR., V. A.; VIJAYKUMAR, N. L. A formal verification tool for UML behavioral diagrams. Lecture Notes in Computer Science, v. 8579 LNCS, n. PART 1, p. 696-711, 2014. DOI: <10.1007/978-3-319-09144-0_48>. Disponível em: <http://doi.org/10.1007/978-3-319-09144-0_48>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Santos et al. (2014).
... pode ser encontrada na literatura (SANTOS et al., 2014).